| Home :: Operating Systems :: Single Address Space |
Grasshopper Orthogonally persistent, research SASOS. Persistence gives a fundamentally different model of computing from that supported by normal OSs, so using such for persistence research is inappropriate. http://os.dcs.st-and.ac.uk/GH/Grasshopper.html Nemesis Old, original, archival website at Systems Research Group: Networks and Operating Systems; University of Cambridge, Computer Laboratory. http://www.cl.cam.ac.uk/Research/SRG/netos/old-projects/neme sis/ Mungi Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: Prove SASOSs can run on normal hardware, be as secure as normal OSs; can be as efficient as, and are faster than, normal OSs in some important uses; can be pure SASOSs with all data (even system data) in one address space and no other IPC mechanism is supported by OS. POSIX emulating. [Open Source, GPL] http://www.cse.unsw.edu.au/~disy/Mungi/ The Expected Lifetime of Single Address Space Operating Syst ems Where stale pointers make it hard to re-use addresses, some have claimed that a 64-bit address space is so big that there is no need to ever re-use addresses. Results of extensive kernel-level tracing of department workstations. http://www.cs.dartmouth.edu/~dfk/papers/kotz:addrtrace.pdf |
